Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
381	[removed]): Manuscript for presentation at IPSJ-SIGPRO, 8 June[removed]Regular Paper Decidability and Undecidability Results of Modal µ-calculi with N1 Semantics Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2013-09-26 02:18:34 Symbol Interpretation Mathematics Metalogic Linear temporal logic Spectral theory of ordinary differential equations Formal languages Logic Model theory
382	UNIVERSITE PARIS. DIDEROT (Paris 7) SORBONNE PARIS CITE ¯ -calculus λλ Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2014-01-16 12:44:23 Models of computation Lambda calculus Formal methods Logic in computer science Programming language Formal language Actor model Semantics Combinatory logic Applied mathematics Theoretical computer science Mathematics
383	TOWARDS A THEORY OF CAUSAL IMPLICATION Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-02-24 00:00:00 Propositional calculus Boolean algebra Semantics Formal systems Negation Axiom Tautology Rule of inference Vacuous truth Logic Mathematical logic Mathematics
384	TOWARDS A THEORY OF CAUSAL IMPLICATION Alexander Stepanov Department of Electrical Engineering and Computer Science Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-02-24 00:00:00 Propositional calculus Boolean algebra Semantics Formal systems Negation Axiom Tautology Vacuous truth Rule of inference Logic Mathematical logic Mathematics
385	Grant Agreement: [removed]Comprehensive Modelling for Advanced Systems of Systems CML Definition 3 – Denotational Semantics Deliverable Number: D23.4a Version: 0.7 Add to Reading List Source URL: www.compass-research.eu Language: English - Date: 2014-01-16 05:35:54 Programming language semantics Logic in computer science Models of computation Formal methods Denotational semantics Unifying Theories of Programming Hoare logic Semantics Operational semantics Theoretical computer science Computer science Applied mathematics
386	B:tingsLPlp12lp12_CR_Final.dvi Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2012-06-07 21:33:05 Semantics Formal languages Corpus linguistics Natural language processing Parsing Bottom-up parsing Syntax N-gram Shallow parsing Linguistics Science Computational linguistics
387	Software Model Checking via Large-Block Encoding Dirk Beyer ∗ Alessandro Cimatti † Alberto Griggio ∗‡ Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Thought Semantics Formal methods Abstraction Constraint programming Satisfiability Modulo Theories Model checking BLAST model checker Function Theoretical computer science Mathematics Cognition
388	Polysemy in Compositional Distributional Semantics Siva Reddy Department of Computer Science University of York Add to Reading List Source URL: sivareddy.in Language: English - Date: 2012-10-02 05:38:32 Analytic philosophy Principle of compositionality Formal semantics Word sense Semantics Linguistics Logic
389	Compositional Distributional Semantics: Pushing the boundaries Siva Reddy Collaborators: Diana McCarthy, Ioannis P. Klapaftis, Spandana Gella, Suresh Manandhar Lexical Computing Ltd, UK Add to Reading List Source URL: sivareddy.in Language: English - Date: 2012-03-27 02:55:00 Lexical semantics Principle of compositionality Distributional hypothesis Formal semantics Semantics Linguistics Language
390	Generative Distributional Models Siva Reddy Lexical Computing Ltd, UK http://sketchengine.co.uk Add to Reading List Source URL: sivareddy.in Language: English - Date: 2012-05-24 14:08:30 Philosophy of language Principle of compositionality Lexical semantics Formal semantics Generative Symbol Generative lexicon Semantics Linguistics Logic

UPDATE